#include "printk.h"
#include "sbi.h"
#include "defs.h"
#include "mm.h"
#include "proc.h"

extern void test();
extern uint64 _stext;
extern uint64 _srodata;
extern uint64 _sdata;

int start_kernel() {

    printk("2022");
    printk(" Hello RISC-V\n");
    schedule();
    /*printk("\n");
    printk("_stext = 0x%lx\n", *(&_stext));
    printk("_srodata = 0x%lx\n", *(&_srodata));
    *(&_stext)=0;
    *(&_srodata)=0;
    printk("_stext = 0x%lx\n", *(&_stext));
    printk("_srodata = 0x%lx\n", *(&_srodata));
    printk("\n");*/
    test(); // DO NOT DELETE !!!

	return 0;
}
